|
In mathematics, an ordered semigroup is a semigroup (''S'',•) together with a partial order ≤ that is compatible with the semigroup operation, meaning that ''x'' ≤ ''y'' implies z•x ≤ z•y and x•z ≤ y•z for all ''x'', ''y'', ''z'' in ''S''. If S is a group and it is ordered as a semigroup, one obtains the notion of ordered group, and similarly if S is a monoid it may be called ordered monoid. The terms posemigroup, pogroup and pomonoid are also in use. Additive semigroup of natural numbers (''N'',+) and additive group of integers (''Z'',+) endowed with natural order are examples of a posemigroup and pogroup. On the other hand, (''N''∪,+) with the natural order is a pomonoid. Clearly, every semigroup can be treated as a posemigroup endowed with the trivial (discrete) partial order: '='. The class of all semigroups may therefore be viewed as a subclass of the class of all posemigroups (indeed one may then prefer to denote a posemigroup by a triple (''S'',•,≤)). One can attribute two types of morphisms (in the sense of category theory) to posemigroups, namely the posemigroup homomorphisms which are 'order preserving' (equivalently monotone) semigroup homomorphisms and the posemigroup order-embeddings that are (besides being semigroup homomorphisms) both order preserving and reflecting. ==References== *T.S. Blyth, ''Lattices and Ordered Algebraic Structures'', Springer, 2005, ISBN 1-85233-905-5, chap. 11. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ordered semigroup」の詳細全文を読む スポンサード リンク
|